Unpacking the logic of mathematical statements
نویسندگان
چکیده
منابع مشابه
The justification of mathematical statements.
The uncompromising ethos of pure mathematics in the early post-war period was that any theorem should be provided with a proof which the reader could and should check. Two things have made this no longer realistic: (i) the appearance of increasingly long and complicated proofs and (ii) the involvement of computers. This paper discusses what compromises the mathematical community needs to make a...
متن کاملEfficient Retrieval of Mathematical Statements
The paper describes an innovative technique for efficient retrieval of mathematical statements from large repositories, developing and substantially improving the metadata-based approach introduced in [13].
متن کاملMathematical Modeling of “Chronic” Infectious Diseases: Unpacking the Black Box
Background Mathematical models are increasingly used to understand the dynamics of infectious diseases, including "chronic" infections with long generation times. Such models include features that are obscure to most clinicians and decision-makers. Methods Using a model of a hypothetical active case-finding intervention for tuberculosis in India as an example, we illustrate the effects on mod...
متن کاملUnlimited multistability and Boolean logic in microbial signaling Supplementary Text Proof of mathematical statements
1 The core model for the hybrid histidine kinase 1 1.1 Model description . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Positive steady states . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 Necessary conditions for bistability . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.4 Necessary and sufficient conditions for bistability . . . . . ...
متن کاملSimulation of Specification Statements in Hoare Logic
Data refinement is a powerful technique to derive implementations in terms of low-level data structures like bytes from specification in terms of highlevel data structures like queues. The higher level operations need not be coded as ordinary programs; it is more convenient to introduce specification statements to the programming language and use them instead of actual code. Specification state...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Educational Studies in Mathematics
سال: 1995
ISSN: 0013-1954,1573-0816
DOI: 10.1007/bf01274210